$\forall$$T$:Type, $x$:$T$, $L$:($T$ List). [$x$ / $L$] $\subseteq$ [] $\Leftarrow\!\Rightarrow$ False